Translating Object-z Speciications to Passive Test Oracles Translating Object-z Speciications to Passive Test Oracles
نویسنده
چکیده
This report describes the translation of formal speciications of container classes to passive test oracles. Speciically, we use Object-Z for speciications and C++ for oracles. We discuss several practical issues for the use of formal speciications in test oracle generation. We then present the translation process for three passive oracle models and evaluate how each model satisses our goals of adequacy for testing, portability between diierent testing methods, and potential for automated generation. Our approach is illustrated with an example based on an integer set class.
منابع مشابه
Translating Object-z Speciications to Object-oriented Test Oracles Translating Object-z Speciications to Object-oriented Test Oracles
This paper describes the translation of Object-Z speciications of container classes to C++ test oracle classes. It presents a three-stage translation process and describes how the derived test oracles are integrated into the ClassBench testing framework. The method caters for object-oriented features such as inheritance and aggregation. Translation issues and limitations of the method are discu...
متن کاملEecient Speciication-based Oracles for Critical Systems
EEective testing of critical systems has been hampered by the lack of a cost-eeective method for deciding the correctness of a program's behavior under test. Using formal speciications to describe the critical system properties and then checking test results against these spe-ciications overcomes these problems. If these test oracles , which are mechanisms for determining whether a test passes ...
متن کاملFrom Object-z Speciications to Classbench Test Suites from Object-z Speciications to Classbench Test Suites
This paper describes a method for speciication-based class testing that incorporates test case generation, execution, and evaluation based on formal speciications. This work builds on previous achievements in the areas of speciication-based testing and class testing by integrating the two within a single framework. The initial step of the method is to generate test cases for individual operatio...
متن کاملA Tale of Two Paradigms: Formal Methods and Software Testing
There are two camps of software developers: formal methods advocates battling against traditionalist supporters of software testing and assessment metrics. Surely, as Turing observed, we will (must) never do away with testing in some form. But clearly, formal methods cannot be ignored, and must be the basis of quality assurance in some form. Important impacts of speciications on testing are in ...
متن کامل